Formalism

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Quantum Formalism and the GRW Formalism

The Ghirardi–Rimini–Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so small that no decisive experiment can as yet...

متن کامل

Relational Formalism

Legal formalism and legal relationalism are traditionally thought of as defining opposite poles of jurisprudential analysis. This study develops the notion of “relational formalism” as it emerges from practices of commercial law and from linguistic theory. As an interpretation of practice, relational formalism—although maintaining the precedence of formalist construction over functional analysi...

متن کامل

Boolean Formalism and Explanations

Boolean algebra is simpler than number algebra, with applications in programming, circuit design, law, specifications, mathematical proof, and reasoning in any domain. So why is number algebra taught in primary school and used routinely by scientists, engineers, economists, and the general public, while boolean algebra is not taught until university, and not routinely used by anyone? A large pa...

متن کامل

Basic Adic Formalism

Let η be the generic point of X; we note that the constant sheaf F on X is equal to η∗F (i.e., the natural map F → η∗ηF is an isomorphism). This is because any E which is quasicompact and étale over X must also be normal and Noetherian, so the connected components of E are its irreducible components, with their generic points exactly the points of the fiber Eη. Hence we reduce to showing that t...

متن کامل

Tree Searching/Rewriting Formalism

We presents a formalism capable of searching and optionally replacing forests of subtrees within labelled trees. In particular, the formalism is developed to process linguistic treebanks. When used as a substitution tool, the interpreter processes rewrite rules consisting of left and right side. The left side specifies a forest of subtrees to be searched for within a tree by imposing a set of c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Victorian Literature and Culture

سال: 2018

ISSN: 1060-1503,1470-1553

DOI: 10.1017/s106015031800061x